loop invariant - Francés Inglés Diccionario